/**
 * <copyright>
 * </copyright>
 *
 * $Id$
 */
package es.esi.gemde.vv.mast.mastresult.validation;

import es.esi.gemde.vv.mast.mastresult.Global_Miss_Ratio_List;
import es.esi.gemde.vv.mast.mastresult.Global_Response_Time_List;
import es.esi.gemde.vv.mast.mastresult.Miss_Ratio_List;

import java.math.BigInteger;

/**
 * A sample validator interface for {@link es.esi.gemde.vv.mast.mastresult.Simulation_Timing_Result}.
 * This doesn't really do anything, and it's not a real EMF artifact.
 * It was generated by the org.eclipse.emf.examples.generator.validator plug-in to illustrate how EMF's code generator can be extended.
 * This can be disabled with -vmargs -Dorg.eclipse.emf.examples.generator.validator=false.
 */
public interface Simulation_Timing_ResultValidator {
	boolean validate();

	boolean validateWorstGlobalResponseTimes(Global_Response_Time_List value);
	boolean validateAvgGlobalResponseTimes(Global_Response_Time_List value);
	boolean validateBestGlobalResponseTimes(Global_Response_Time_List value);
	boolean validateJitters(Global_Response_Time_List value);
	boolean validateLocalMissRatios(Miss_Ratio_List value);
	boolean validateGlobalMissRatios(Global_Miss_Ratio_List value);
	boolean validateAvgBlockingTime(float value);
	boolean validateAvgLocalResponseTime(float value);
	boolean validateBestLocalResponseTime(float value);
	boolean validateEventName(String value);
	boolean validateMaxPreemptionTime(float value);
	boolean validateNumOfQueuedActivations(BigInteger value);
	boolean validateNumOfSuspensions(BigInteger value);
	boolean validateSuspensionTime(float value);
	boolean validateWorstBlockingTime(float value);
	boolean validateWorstLocalResponseTime(float value);
}
